搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Progress in Wall Turbulence: Understanding and Modeling [electronic resource] : Proceedings of the WALLTURB International Workshop held in Lille, France, April 21-23, 2009 0 索取号：作者：Stanislas、 Michel.、Jimenez、 Javier.、Marusic、 Ivan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2011.		Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] 0 索取号：作者：Indrzejczak、 Andrzej.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Developing Learning Professionals [electronic resource] : Integrating Experiences in University and Practice Settings 0 索取号：作者：Billett、 Stephen.、Henderson、 Amanda.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2011.		CCN Proteins in Health and Disease [electronic resource] : An Overview of the Fifth International Workshop on the CCN Family of Genes 0 索取号：作者：Perbal、 Annick.、Takigawa、 Masaharu.、Perbal、 Bernard.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Direct and Large-Eddy Simulation VII [electronic resource] : Proceedings of the Seventh International ERCOFTAC Workshop on Direct and Large-Eddy Simulation, held at the University of Trieste, September 8-10, 2008 0 索取号：作者：Armenio、 Vincenzo.、Geurts、 Bernard.、Fr枚hlich、 Jochen.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Karl Leonhard Reinhold and the Enlightenment [electronic resource] : The 2007 Montr茅al International Reinhold Workshop 0 索取号：作者：Giovanni、 George.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.
	Altered Sensations [electronic resource] : Rudolph Koenig's Acoustical Workshop in Nineteenth-Century Paris 0 索取号：作者：Pantalony、 David.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		An Integrated Assessment of China's Ecological Restoration Programs [electronic resource] 0 索取号：作者：Yin、 Runsheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.
	Cardiac Arrhythmias 2005 [electronic resource] : Proceedings of the 9th International Workshop on Cardiac Arrhythmias (Venice, 2鈥堏ctober 2005) 0 索取号：作者：Raviele、 Antonio.、SpringerLink (Online service)、出版社：Milano : Springer Milan, 2006.		Natural Computing [electronic resource] : 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings 0 索取号：作者：Suzuki、 Y.、Hagiya、 M.、Umeo、 H.、Adamatzky、 A.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2009.
	Agent-Based Approaches in Economic and Social Complex Systems V [electronic resource] : Post-Proceedings of The AESCS International Workshop 2007 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Takahashi、 Shingo.、Deguchi、 Hiroshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2009.		Agent-Based Approaches in Economic and Social Complex Systems IV [electronic resource] : Post-Proceedings of The AESCS International Workshop 2005 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Deguchi、 Hiroshi.、Kijima、 Kyoichi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2007.
	Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings 0 索取号：作者：Nishizaki、 Shin-ya.、Numao、 Masayuki.、Caro、 Jaime.、Suarez、 Merlin Teodosia.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2012.		Zero-Carbon Energy Kyoto 2011 [electronic resource] : Special Edition of Jointed Symposium of Kyoto University Global COE 鈥淓nergy Science in the Age of Global Warming鈥࡮d Ajou University BK21 0 索取号：作者：Yao、 Takeshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan : Imprint: Springer, 2012.
	Noise and Vibration Mitigation for Rail Transportation Systems [electronic resource] : Proceedings of the 10th International Workshop on RailwayNoise, Nagahama, Japan, 18鈥ⲠOctober 2010 0 索取号：作者：Maeda、 Tatsuo.、Gautier、 Pierre-Etienne.、Hanson、 Carl E.、Hemsworth、 Brian.、Nelson、 James Tuman.、Schulte-Werning、 Burkhard.、Thompson、 David.、Vos、 Paul.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2012.		Agent-Based Approaches in Economic and Social Complex Systems VI [electronic resource] : Post-Proceedings of The AESCS International Workshop 2009 0 索取号：作者：Chen、 Shu-Heng.、Terano、 Takao.、Yamamoto、 Ryuichi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan : Imprint: Springer, 2011.

	Progress in Wall Turbulence: Understanding and Modeling [electronic resource] : Proceedings of the WALLTURB International Workshop held in Lille, France, April 21-23, 2009 0 索取号：作者：Stanislas、 Michel.、Jimenez、 Javier.、Marusic、 Ivan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2011.		Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] 0 索取号：作者：Indrzejczak、 Andrzej.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Developing Learning Professionals [electronic resource] : Integrating Experiences in University and Practice Settings 0 索取号：作者：Billett、 Stephen.、Henderson、 Amanda.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2011.		CCN Proteins in Health and Disease [electronic resource] : An Overview of the Fifth International Workshop on the CCN Family of Genes 0 索取号：作者：Perbal、 Annick.、Takigawa、 Masaharu.、Perbal、 Bernard.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Direct and Large-Eddy Simulation VII [electronic resource] : Proceedings of the Seventh International ERCOFTAC Workshop on Direct and Large-Eddy Simulation, held at the University of Trieste, September 8-10, 2008 0 索取号：作者：Armenio、 Vincenzo.、Geurts、 Bernard.、Fr枚hlich、 Jochen.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Karl Leonhard Reinhold and the Enlightenment [electronic resource] : The 2007 Montr茅al International Reinhold Workshop 0 索取号：作者：Giovanni、 George.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.
	Altered Sensations [electronic resource] : Rudolph Koenig's Acoustical Workshop in Nineteenth-Century Paris 0 索取号：作者：Pantalony、 David.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		An Integrated Assessment of China's Ecological Restoration Programs [electronic resource] 0 索取号：作者：Yin、 Runsheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.
	Cardiac Arrhythmias 2005 [electronic resource] : Proceedings of the 9th International Workshop on Cardiac Arrhythmias (Venice, 2鈥堏ctober 2005) 0 索取号：作者：Raviele、 Antonio.、SpringerLink (Online service)、出版社：Milano : Springer Milan, 2006.		Natural Computing [electronic resource] : 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings 0 索取号：作者：Suzuki、 Y.、Hagiya、 M.、Umeo、 H.、Adamatzky、 A.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2009.
	Agent-Based Approaches in Economic and Social Complex Systems V [electronic resource] : Post-Proceedings of The AESCS International Workshop 2007 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Takahashi、 Shingo.、Deguchi、 Hiroshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2009.		Agent-Based Approaches in Economic and Social Complex Systems IV [electronic resource] : Post-Proceedings of The AESCS International Workshop 2005 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Deguchi、 Hiroshi.、Kijima、 Kyoichi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2007.
	Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings 0 索取号：作者：Nishizaki、 Shin-ya.、Numao、 Masayuki.、Caro、 Jaime.、Suarez、 Merlin Teodosia.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2012.		Zero-Carbon Energy Kyoto 2011 [electronic resource] : Special Edition of Jointed Symposium of Kyoto University Global COE 鈥淓nergy Science in the Age of Global Warming鈥࡮d Ajou University BK21 0 索取号：作者：Yao、 Takeshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan : Imprint: Springer, 2012.
	Noise and Vibration Mitigation for Rail Transportation Systems [electronic resource] : Proceedings of the 10th International Workshop on RailwayNoise, Nagahama, Japan, 18鈥ⲠOctober 2010 0 索取号：作者：Maeda、 Tatsuo.、Gautier、 Pierre-Etienne.、Hanson、 Carl E.、Hemsworth、 Brian.、Nelson、 James Tuman.、Schulte-Werning、 Burkhard.、Thompson、 David.、Vos、 Paul.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2012.		Agent-Based Approaches in Economic and Social Complex Systems VI [electronic resource] : Post-Proceedings of The AESCS International Workshop 2009 0 索取号：作者：Chen、 Shu-Heng.、Terano、 Takao.、Yamamoto、 Ryuichi.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan : Imprint: Springer, 2011.